Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
11	On Structuring Proof Search for First Order Linear Logic Add to Reading List Source URL: www.cs.bath.ac.uk - Date: 2012-01-04 16:21:31
12	Constructive Finite Trace Analysis with Linear Temporal Logic Martin Sulzmann and Axel Zechner Informatik Consulting Systems AG, Germany {martin.sulzmann,axel.zechner}@ics-ag.de Add to Reading List Source URL: www.home.hs-karlsruhe.de - Date: 2013-03-29 18:22:29
13	To appear in Theory and Practice of Logic Programming 1 Linear Tabling Strategies and Optimizations Neng-Fa Zhou Add to Reading List Source URL: www.sci.brooklyn.cuny.edu - Date: 2007-06-05 17:57:14
14	The Linear Logic Primer Vincent Danos Roberto Di Cosmo Case 7014 Add to Reading List Source URL: www.dicosmo.org - Date: 2015-11-23 06:55:53
15	Linear-Time Temporal Logic Control of Discrete Event Systems Bruno Filipe Ara´ ujo Lacerda Add to Reading List Source URL: sqig.math.ist.utl.pt - Date: 2009-02-17 04:49:00
16	&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& Workshop on Linear Logic Geometry of Interaction, Traced Monoidal Categories and Implicit Complexity &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp - Date: 2011-11-05 07:38:23
17	Linear Time Logic and Deterministic omega-Automata Joachim Klein January 2005 Add to Reading List Source URL: www.ltl2dstar.de - Date: 2012-06-22 08:41:11
18	Technical Report WVNovember 2005 On Structuring Proof Search for First Order Linear Logic Add to Reading List Source URL: www.ki.inf.tu-dresden.de - Date: 2006-03-26 15:53:31
19	Lecture Notes on Choice and Replication: Linear Logic Frank Pfenning Lecture 5 February 1, 2012 Add to Reading List Source URL: www.cs.cmu.edu - Date: 2012-02-05 13:59:02
20	Categorical Semantics for Linear Logic Wolfgang Jeltsch Add to Reading List Source URL: cs.ioc.ee - Date: 2013-06-19 18:27:52